projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b83f96) | patch
flask/policy: Update example policy
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Tue, 20 Dec 2011 18:19:53 +0000 (18:19 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Tue, 20 Dec 2011 18:19:53 +0000 (18:19 +0000)
commitfba7e0e2d350742f114994d183c1e7bf9fdb5949
treea8a9c0cb5e8d48e82fb0697026acdc4b1bd953b0tree | snapshot
parent7b83f96ce7e2560388f0c6e36551b0d748a0542acommit | diff
flask/policy: Update example policy

Rewrite the example policy to make it easier to understand and
demonstrate some of the security goals that FLASK can enforce.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
tools/flask/policy/policy/modules/xen/xen.if diff | blob | history
tools/flask/policy/policy/modules/xen/xen.te diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.